An Implementation of User-level Restartable Atomic Sequences on the NetBSD Operating System
نویسنده
چکیده
This paper outlines an implementation of restartable atomic sequences on the NetBSD operating system as a mechanism for implementing atomic operations in a mutual-exclusion facility on uniprocessor systems. Kernel-level and user-level interfaces are discussed along with implementation details. Issues associated with protecting restartable atomic sequences from violation are considered. The performance of restartable atomic sequences is demonstrated to outperform syscall-based and emulation-based atomic operations. Performance comparisons with memoryinterlocked instructions demonstrate that restartable atomic sequences continue to provide performance advantages on modern hardware. Restartable atomic sequences are now the preferred mechanism for atomic operations in the NetBSD threads library on all uniprocessor systems.
منابع مشابه
Fast Mutual Exclusion for Uniprocessors Brian
In this paper we describe restartable atomic sequences, an optimistic mechanism for implementing simple atomic operations (such as Test-And-Set) on a uniprocessor. A thread that is suspended within a restartable atomic sequence is resumed by the operating system at the beginning of the sequence, rather than at the point of suspension. This guarantees that the thread eventually executes the sequ...
متن کاملRunning BSD Kernels as User Processes by Partial Emulation and Rewriting of Machine Instructions
A user-level operating system (OS) can be implemented as a regular user process on top of another host operating system. Conventional userlevel OSes, such as User Mode Linux, view the underlying host operating system as a specific hardware architecture. Therefore, the implementation of a user-level OS often requires porting of an existing kernel to a new hardware architecture. This paper propos...
متن کاملSCHOOL OF ELECTRICAL ENGINEERING AND TELECOMMUNICATION Usermode OS Components On seL4 With Rump Kernels
seL4 is a formally-verified high-assurance microkernel that provides isolation to properly designed applications that it executes. Real-world cyber-physical systems can use seL4 for increased security. Many applications rely on the operating system to provide system services, such as device drivers, file systems and networking capabilities, however seL4 only provides these in a limited capacity...
متن کاملThe Design of the NetBSD I/O Subsystems
This book describes the source code of the NetBSD Operating System Release 1.6 in SUN UltraSPARC 64-bit platform by annotating related excerpts from references and user manuals on the NetBSD Operating System. The goal of this book is to provide necessary information to understand the operation and the implementation of I/O subsystems in the kernel as well as to design and implement a new filesy...
متن کاملAn Implementation of Scheduler Activations on the NetBSD Operating System
This paper presents the design and implementation of a two-level thread scheduling system on NetBSD. This system provides a foundation for efficient and flexible threads on both uniprocessor and multiprocessor machines. The work is based on the scheduler activations kernel interface proposed by Anderson et al. [1] for userlevel control of parallelism in the presence of multiprogramming and mult...
متن کامل